(7.1.1) 数学の正しさ